Skip to content

Update scala-library to 2.13.18#400

Draft
foundweekends-bot[bot] wants to merge 1 commit intomasterfrom
update/scala-library-2.13.18
Draft

Update scala-library to 2.13.18#400
foundweekends-bot[bot] wants to merge 1 commit intomasterfrom
update/scala-library-2.13.18

Conversation

@foundweekends-bot
Copy link
Contributor

@foundweekends-bot foundweekends-bot bot commented Nov 25, 2025 •
edited
Loading

About this PR

📦 Updates org.scala-lang:scala-library from 2.11.12 to 2.13.18

📜 GitHub Release Notes - Version Diff

Usage

✅ Please merge!

I'll automatically update this PR to resolve conflicts as long as you don't change it yourself.

If you'd like to skip this version, you can just close this PR. If you have any feedback, just mention me in the comments below.

Configure Scala Steward for your repository with a .scala-steward.conf file.

Have a fantastic day writing Scala!

💡 Applied Scalafix Migrations
🔍 Files still referring to the old version number

The following files still refer to the old version number (2.11.12).
You might want to review and update them manually.

docs/05-making-app.md
docs/ja/05-making-app.md
sbt-conscript/src/sbt-test/cs/basic/src/main/conscript/foo/launchconfig
src/main/conscript/cs/launchconfig
⚙ Adjust future updates

Add this to your .scala-steward.conf file to ignore future updates of this dependency:

updates.ignore = [ { groupId = "org.scala-lang", artifactId = "scala-library" } ]

Or, add this to slow down future updates of this dependency:

dependencyOverrides = [{
  pullRequests = { frequency = "30 days" },
  dependency = { groupId = "org.scala-lang", artifactId = "scala-library" }
}]
labels: library-update, early-semver-minor, semver-spec-minor, scalafix-migrations, old-version-remains, commit-count:1

@xuwei-k xuwei-k marked this pull request as draft November 25, 2025 10:12
@foundweekends-bot foundweekends-bot bot force-pushed the update/scala-library-2.13.18 branch from 8065d6c to 57fb9ba Compare December 12, 2025 08:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@eed3si9n eed3si9n Awaiting requested review from eed3si9n eed3si9n is a code owner

@xuwei-k xuwei-k Awaiting requested review from xuwei-k xuwei-k is a code owner

Assignees

No one assigned

Labels

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

0 participants